Syntactic Unification as a Geometric Operation in Free Modules over certain Rings
نویسندگان
چکیده
We have shown elsewhere how to introduce a concept of syntactic unification when terms are taken as the elements in a free module and established the link between both unification concepts showing that, under certain reasonable hypotheses, they are completely equivalent. Here we show how syntactic unification of terms may be viewed as the intersection of certain subsets in a free module, which strongly resemble affine varieties in vector spaces. Thus this work represents a first step in the way towards a purely geometric interpretation of logic programming.
منابع مشابه
On nest modules of matrices over division rings
Let $ m , n in mathbb{N}$, $D$ be a division ring, and $M_{m times n}(D)$ denote the bimodule of all $m times n$ matrices with entries from $D$. First, we characterize one-sided submodules of $M_{m times n}(D)$ in terms of left row reduced echelon or right column reduced echelon matrices with entries from $D$. Next, we introduce the notion of a nest module of matrices with entries from $D$. We ...
متن کاملEssentially Retractable Modules
We call a module essentially retractable if HomR for all essential submodules N of M. For a right FBN ring R, it is shown that: (i) A non-zero module is retractable (in the sense that HomR for all non-zero ) if and only if certain factor modules of M are essentially retractable nonsingular modules over R modulo their annihilators. (ii) A non-zero module is essentially retractable if and on...
متن کامل$n$-cocoherent rings, $n$-cosemihereditary rings and $n$-V-rings
Let $R$ be a ring, and let $n, d$ be non-negative integers. A right $R$-module $M$ is called $(n, d)$-projective if $Ext^{d+1}_R(M, A)=0$ for every $n$-copresented right $R$-module $A$. $R$ is called right $n$-cocoherent if every $n$-copresented right $R$-module is $(n+1)$-coprese-nted, it is called a right co-$(n,d)$-ring if every right $R$-module is $(n, d)$-projective. $R$...
متن کامل$PI$-extending modules via nontrivial complex bundles and Abelian endomorphism rings
A module is said to be $PI$-extending provided that every projection invariant submodule is essential in a direct summand of the module. In this paper, we focus on direct summands and indecomposable decompositions of $PI$-extending modules. To this end, we provide several counter examples including the tangent bundles of complex spheres of dimensions bigger than or equal to 5 and certain hyper ...
متن کاملAN INTEGRAL DEPENDENCE IN MODULES OVER COMMUTATIVE RINGS
In this paper, we give a generalization of the integral dependence from rings to modules. We study the stability of the integral closure with respect to various module theoretic constructions. Moreover, we introduce the notion of integral extension of a module and prove the Lying over, Going up and Going down theorems for modules.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 66 شماره
صفحات -
تاریخ انتشار 2002